Incorporating Inheritance and Feature Structures into a Logic Grammar Formalism
نویسنده
چکیده
Hassan Ait-Kaci introduced the #/-term, an informational structure resembling feature-based functional structures but which also includes taxonomic inheritance (Ait-Kaci, 1984). We describe e-terms and how they have been incorporated into the Logic Grammar formalism. The result, which we call Inheritance Grammar, is a proper superset of DCG and includes many features of PATR-II. Its taxo-nomic reasoning facilitates semantic type-class reasoning during grammatical analysis.
منابع مشابه
Inheritance and Constraint-Based Grammar Formalisms
We describe an approach to unification grammars that integrates two paradigms: the objectoriented approach, which offers multiple inheritance, complex objects with role-value restrictions and role-values equality, querying as subsumption; the relational programming approach, which offers declarativity, logical variables, nondeterminism with backtracking, and existential queries. This approach i...
متن کاملAn Expanded Logical Formalism for Head-driven Phrase Structure Grammar
Though Pollard and Sag 1994] assumes that an unspeciied variant of the formal logic of Carpenter 1992] will provide a formalism for HPSG, a precise formulation of the envisaged formalism is not immediately obvious, primarily because a principal tenet of Carpenter 1992], that feature structures represent partial information, seems to connict with a principal tenet of Pollard and Sag 1994], that ...
متن کاملTyped Unification Grammars
We introduce TFS, a computer formalism in the class of logic ibrmaiisms which integrates a powerful type system. Its basic data structures are typed feature structures. The type system encourages an objectoriented approach to linguistic description by providing a multiple inheritance mechanism and an inference mechanism which allows the specitication of relations between levels o[ linguistic de...
متن کاملFirst order axiomatization of typed feature structures
We axiomatize, in first order logic, the typed feature structures used in constraint based grammar formalism for natural language processing. This is based on a discussion of how type-hierarchies should be interpreted in terms of representation theory. We close with some observations about decidability of feature constraint satisfaction in parsing.
متن کاملFeature Unification in TAG Derivation Trees
The derivation trees of a tree adjoining grammar provide a first insight into the sentence semantics, and are thus prime targets for generation systems. We define a formalism, feature-based regular tree grammars, and a translation from feature based tree adjoining grammars into this new formalism. The translation preserves the derivation structures of the original grammar, and accounts for feat...
متن کامل